Covariance and contravariance

Results: 93



#Item
11Object-oriented programming languages / Functional programming / Type theory / Scala / Immutable object / Xtend / C++ classes / Covariance and contravariance / Type class

Value Classes in Scala Lukas Rytz, Typesafe Value Classes in Scala •

Add to Reading List

Source URL: dl.dropboxusercontent.com

Language: English
12Method / Object-oriented programming / C++ / Polymorphism / Multiple dispatch / Virtual method table / This / C++11 / Covariance and contravariance / Late binding / Inheritance / Dynamic dispatch

Open Multi-Methods for C++ Peter Pirkelbauer Yuriy Solodkyy Bjarne Stroustrup

Add to Reading List

Source URL: pirkelbauer.com

Language: English - Date: 2011-11-03 23:34:34
13Type theory / Polymorphism / Data types / Object-oriented programming / Dependently typed programming / Covariance and contravariance / Higher-order abstract syntax / Lambda calculus / Const / Subtyping / Scala / Generalized algebraic data type

Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2014-03-18 17:06:31
14Local government in the United States / Variance / Zoning / Covariance and contravariance

MOODY COUNTY VARIANCE APPLICATION VARIANCE NUMBER _________________ BUILDING PERMIT NUMBER _________________ APPLICANT (PRINT): ____________________________________ PHONE: ____________________________________

Add to Reading List

Source URL: www.moodycounty.net

Language: English - Date: 2016-01-20 10:54:10
15Zoning / Real estate / Real property law / Local government in the United States / Variance / Covariance and contravariance / Commercial area / Nease

Microsoft Word - ZBA MEETING

Add to Reading List

Source URL: www.cubany.org

Language: English - Date: 2015-06-02 09:56:11
16Zoning / Variance / Setback / Covariance and contravariance

Microsoft WordMeeting Minutes

Add to Reading List

Source URL: www.townofbrunswick.org

Language: English - Date: 2016-08-06 19:19:38
17Statistics / Data analysis / Analysis / Mathematical finance / Least squares / Variance / Standard deviation / Volatility / Coefficient of determination / Autoregressive model / Covariance and contravariance / Expected value

Are Stocks Really Less Volatile in the Long Run? ˇ ´ LUBO Sˇ PASTOR

Add to Reading List

Source URL: www.q-group.org

Language: English - Date: 2016-03-25 20:51:45
18Software engineering / Computer programming / Computing / Type theory / Data types / Polymorphism / Object-oriented programming / Subroutines / Covariance and contravariance / Parameter / Type system / Anonymous function

Julia: A Fast Dynamic Language for Technical Computing Jeff Bezanson∗ MIT Stefan Karpinski† MIT

Add to Reading List

Source URL: karpinski.org

Language: English - Date: 2016-04-13 16:19:52
19Software engineering / Type theory / Programming language theory / Computing / Parametric polymorphism / Polymorphism / Type system / Covariance and contravariance / HindleyMilner type system / Type inference / Subtyping / System F

Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN

Add to Reading List

Source URL: www.math.nagoya-u.ac.jp

Language: English - Date: 2010-12-28 20:49:23
20Software engineering / Type theory / Object-oriented programming / Computing / Computer programming / Data types / Polymorphism / Functional programming / Covariance and contravariance / Subtyping / Generalized algebraic data type / Variance

On variance, injectivity, and abstraction Jacques Garrigue 1 Introduction

Add to Reading List

Source URL: www.math.nagoya-u.ac.jp

Language: English - Date: 2013-08-04 23:16:28
UPDATE